projects / ghc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0b74f4) | patch
Use realpath instead of custom script
authorIlias Tsitsimpis <iliastsi@debian.org>
Wed, 13 Dec 2023 10:28:47 +0000 (12:28 +0200)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 13 Dec 2023 10:28:47 +0000 (12:28 +0200)
commit30219e9af59ffe57a2fd3e7249239ea577aea2b1
tree31fb7964eb88cb23c72603d1dd6bd9f7fa60caa5tree | snapshot
parentf0b74f44e11131f33f85086f2f22419b063f0917commit | diff
Use realpath instead of custom script

Use realpath instead of the custom script, which is broken. As an example,

  $ ./mk/relpath.sh /usr/lib/ghc/lib /usr/lib/ghc-doc
  ..-doc
  $ realpath --relative-to=/usr/lib/ghc/lib /usr/lib/ghc-doc
  ../../ghc-doc

Gbp-Pq: Name hadrian-relpath
hadrian/bindist/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.